Dignāga’s Logic of Invention∗
نویسنده
چکیده
In this paper the Indian Buddhist logic of the Middle Ages is connected to methodological aspects of logic, especially to the idea that logic can serve as an organon, e. g., as a tool for discovering novelties. Research on this idea can be characterized by questions like “Is there a logic of invention?”, “What is the role, if any, of deductive logic in creative processes?”, “What is the role of logic in philosophy of science, especially in a philosophy of science which takes the context of discovery into account?” In Europe the sensitivity for the great efforts of Indian logic is mainly due to J. M. Bocheński’s appreciation for it as expressed, e. g., in his Formale Logik of 1956. Bocheński regarded Dignāga, who lived from about 480 to 540 A. D., as the Indian Aristotle. For Bocheński the Indian experience was even one of the cornerstones for his reflections on a general theory of the historical development of logic. The development of logic was in fact not a continuous one starting with Aristotle and ending with modern mathematical logic, but a series of ups and downs, full of unconscious re-inventions, and it started from a double root, the ancient Greek and the ancient or medieval Indian logic. It might be worthwhile to sum up Bocheński’s results, despite the fact that most of his positions have been disputed in the last 45 years of research. Bocheński devoted the sixth (and final) part of his Formale Logik to the “Indian Variety of Logic”. He stressed that logic arose in two distinct cultural areas, in the Occident and in India, and the Indian Buddhist logician
منابع مشابه
Mapping Historical Water-Supply Qanat Based On Fuzzy Method. An Application to the Isfahan Qanat (Isfahan, Iran)
According to the geographical location of Iran, it enjoys both arid and semi-arid weather, which has been the cause of water shortage problems. Therefore, water has been one of strategic importance in Iran. When the population dramatically increased in ancient Iran, the demand for supplying water also increased simultaneously and brought about the need for the invention of a new way for supplyi...
متن کاملExpressiveness of Semipositive Logic Programs with Value Invention
We study the expressive power of the relational query language wILOG 1 2 ;: of semipositive datalog programs extended with a mechanism of safe value invention. We adopt a semantics for value invention based on the use of Skolem functor terms. We show that this language expresses exactly the class of semimonotone queries, that is, the class of computable queries that are preserved under extensions.
متن کاملUniversit a Degli Studi the Expressive Power of Stratiied Logic Programs with Value Invention Programs with Value Invention for Expressing Database Transformations" in International
The expressive power of the family wILOG(:) of relational query languages is investigated. The languages are rule based, with value invention and strati ed negation. The semantics for value invention is based on Skolem functor terms. We study a hierarchy of languages based on the number of strata allowed in programs. We rst show that, in presence of value invention, the class of strati ed progr...
متن کاملOn the Power of Stratified Logic Programs with Value Invention for Expressing Database Transformations
The expressive power of the family of ILOG (:) languages is investigated. The languages are rule based, with value invention and stratiied negation. The chosen semantics for value invention is based on Skolem functor terms. We show that, in presence of value invention , the whole expressive power is achieved using programs made of two strata, and that ILOG 6 = (i.e., the class of programs with ...
متن کاملRepeat Learning Using Predicate Invention
Most of machine learning is concerned with learning a single concept from a sequence of examples. In repeat learning the teacher chooses a series of related concepts randomly and independently from a distribution D. A nite sequence of examples is provided for each concept in the series. The learner does not initially know D, but progressively updates a posterior estimation of D as the series pr...
متن کامل